//
// Created by wkm on 2023-12-03.
//

#include "async_states.h"

void async_states::prc_async_state() {
    if (!reset) // 第一个异步条件
        next_state = 0;
    else if (set) // 第二个异步条件
        next_state = 5;
    else // （隐含的）负跳变沿
        next_state = current_state;
}